| emsoft | participants

Jyotirmoy V. Deshmukh

Program Committees:
2016, 2024, and 2025
.

EMSOFT 2025: 25th International Conference on Embedded Software

STL-GO: Spatio-Temporal Logic with Graph Operators for Distributed Systems with Multiple Network Topologies

Yiqi Zhao, Xinyi Yu, Bardh Hoxha, Georgios Fainekos, Jyotirmoy V. Deshmukh, and Lars Lindemann

EMSOFT 2024: 24th International Conference on Embedded Software

Statistical Reachability Analysis of Stochastic Cyber-Physical Systems under Distribution Shift

Navid Hashemi, Lars Lindemann, and Jyotirmoy V. Deshmukh

EMSOFT 2019: 19th International Conference on Embedded Software

Specification Mining and Robust Design under Uncertainty: A Stochastic Temporal Logic Approach

Panagiotis Kyriakis, Jyotirmoy V. Deshmukh, and Paul Bogdan

EMSOFT 2017: 17th International Conference on Embedded Software

Testing Cyber-Physical Systems through Bayesian Optimization

Jyotirmoy V. Deshmukh, Marko Horvat, Xiaoqing Jin, Rupak Majumdar, and Vinayak S. Prabhu

EMSOFT 2016: 16th International Conference on Embedded Software

Underminer: A Framework for Automatically Identifying Non-Converging Behaviors in Black Box System Models

Ayca Balkan, Paulo Tabuada, Jyotirmoy V. Deshmukh, Xiaoqing Jin, and James Kapinski

EMSOFT 2015: 15th International Conference on Embedded Software

Forward Invariant Cuts to Simplify Proofs of Safety

Nikos Aréchiga, James Kapinski, Jyotirmoy V. Deshmukh, André Platzer, and Bruce H. Krogh

EMSOFT 2014: 14th International Conference on Embedded Software

Multiple Shooting, CEGAR-Based Falsification for Hybrid Systems

Aditya Zutshi, Jyotirmoy V. Deshmukh, Sriram Sankaranarayanan, and James Kapinski